@${\it loc}$: $k$ sends only on links in $L$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr(inr(inr(inr(inr(inr(inr(inr(inr(inl($\langle$${\it loc}$$,\,$$k$$,\,$$L$$\rangle$))))))))))